Non-existence of quadratic harmonic maps of $S^{4}$ into $S^{5}$ or $S^{6}$
نویسندگان
چکیده
منابع مشابه
Reversal of HCN Channel Voltage Dependence via Bridging of the S4–S5 Linker and Post-S6
Voltage-gated ion channels possess charged domains that move in response to changes in transmembrane voltage. How this movement is transduced into gating of the channel pore is largely unknown. Here we show directly that two functionally important regions of the spHCN1 pacemaker channel, the S4-S5 linker and the C-linker, come into close proximity during gating. Cross-linking these regions with...
متن کاملKv Channel Gating Requires a Compatible S4-S5 Linker and Bottom Part of S6, Constrained by Non-interacting Residues
Voltage-dependent K(+) channels transfer the voltage sensor movement into gate opening or closure through an electromechanical coupling. To test functionally whether an interaction between the S4-S5 linker (L45) and the cytoplasmic end of S6 (S6(T)) constitutes this coupling, the L45 in hKv1.5 was replaced by corresponding hKv2.1 sequence. This exchange was not tolerated but could be rescued by...
متن کاملExistence of Innnitely Many Weakly Harmonic Extensions into S 2 for Non-constant Boundary Maps
We prove the existence of innnitely many weakly harmonic maps from a domain of R n into S 2 for non-constant smooth boundary data.
متن کاملPIP2-dependent coupling is prominent in Kv7.1 due to weakened interactions between S4-S5 and S6
Among critical aspects of voltage-gated potassium (Kv) channels' functioning is the effective communication between their two composing domains, the voltage sensor (VSD) and the pore. This communication, called coupling, might be transmitted directly through interactions between these domains and, as recently proposed, indirectly through interactions with phosphatidylinositol-4,5-bisphosphate (...
متن کاملShortest Axiomatizations of Implicational S4 and S5
Shortest possible axiomatizations for the implicational fragments of the modal logics S4 and S5 are reported. Among these axiomatizations is included a shortest single axiom for implicational S4—which to our knowledge is the first reported single axiom for that system—and several new shortest single axioms for implicational S5. A variety of automated reasoning strategies were essential to our d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2012
ISSN: 0002-9939,1088-6826
DOI: 10.1090/s0002-9939-2012-11460-1